منابع مشابه
Word-Order Analysis Based Upon Treebank Data
The paper describes an experiment consisting in the attempt to quantify word-order properties of three Indo-European languages (Czech, English and Farsi). The investigation is driven by the endeavor to find an objective way how to compare natural languages from the point of view of the degree of their word-order freedom. Unlike similar studies which concentrate either on purely linguistic or pu...
متن کاملLogic-Based Abduction New Polynomial Classes for Logic-Based Abduction
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of ...
متن کاملAn Explorer upon Untrodden Ground: Peirce on Abduction
Charles Sanders Peirce (1839-1914), the founder of American pragmatism, spent a good deal of his intellectual energy and time trying to categorise kinds of reasoning, examine their properties and their mutual relations. During this intellectual adventure, he was constantly breaking new ground. One of his major achievements was that he clearly delineated a space for non-deductive, that is amplia...
متن کاملCut-Based Abduction
In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: (i) given an unprovable sequent G, find a sentence H such that ,H G is provable (hypothesis generation); (ii) given a provable sequent G, find a sentence H such that H and the proof of ,H G is simpler than the proof of G (lemma generation). We argue that the two tasks should ...
متن کاملRule Based Abduction
This paper introduces a procedural approach to perform rule based abduction in a knowledge base. In this context a knowledge base is realised as a normal abductive logic program, and an observation can be either a literal or a rule. A SLDNF resolution based proof procedure is employed to achieve this rule based abduction. It is shown that using this algorithm, one can always nd a minimal explan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Atomic Energy Society of Japan
سال: 2017
ISSN: 1882-2606,2433-7285
DOI: 10.3327/jaesjb.59.8_460